COM6116   Theory of Distributed Systems   (15 credits)

Description

The aim of this module is to set out a strong theoretical basis for the analysis and design of concurrent, distributed and mobile systems. We will use the process calculi to model and reason about complex systems, studying both its formal semantics and its many uses, via a number of examples. You should be aware there are limited places on this course.

Reading List